x86: correct boot time page table setup
authorJan Beulich <jbeulich@suse.com>
Mon, 8 May 2017 12:56:14 +0000 (14:56 +0200)
committerJan Beulich <jbeulich@suse.com>
Mon, 8 May 2017 12:56:14 +0000 (14:56 +0200)
commita0a9095432f6f8b7c83e779dad5debc81c552583
tree35d65943bfb163f08e97aff06526ffe0a9cbb691
parent1c5e242e6d6e51fe6ec3553299ec7efc48938c56
x86: correct boot time page table setup

While using alloc_domheap_pages() and assuming the allocated memory is
directly accessible is okay at boot time (as we run on the idle page
tables there), memory hotplug code too assumes it can access the
resulting page tables without using map_domain_page() or alike, and
hence we need to obtain memory suitable for ordinary page table use
here.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Release-acked-by: Julien Grall <julien.grall@arm.com>
xen/arch/x86/x86_64/mm.c